3 sat np complete